Language software - PDFSEARCH.IO - Document Search Engine

Language software
Results: 21611

#	Item
981	Titanium Language Reference Manual, versionPaul N. Hilfinger Dan Oscar Bonachea Kaushik Datta David Gay Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:56 Cross-platform software Data types Object-oriented programming languages Programming language comparisons Java platform Java D Constructor Sun Microsystems C Sharp Array data type Constant
982	Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-09 04:53:38 Software engineering Unified Modeling Language Computing Theoretical computer science ECO Postcondition Systems Modeling Language Object Process Methodology Modeling language Profile Class diagram Economic model
983	D Complete List of Publications by Members of EXCS 2003–Date Listed below are the pre-refereed journal and conference articles, monographs, dissertations and edited volumes by the members of the consortium (the four t Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2008-03-28 08:28:36 Software engineering Programming language theory ALGOL 68 Computing
984	CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10) Add to Reading List Source URL: www.program-transformation.org Language: English - Date: 2013-06-07 05:22:45 Computing Software engineering Computer science Evaluation strategy Incremental computing Partial evaluation Symposium on Principles of Programming Languages Association for Computing Machinery Domain-specific language Actor model
985	The Birth of Object Orientation: the Simula Languages⋆ Ole-Johan Dahl Dept. of Informatics, University of Oslo, Norway Abstract. The development of the programming languages Simula I and Simula 67 is briefly described. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Programming language theory Procedural programming languages Object-oriented programming languages Turing Award laureates Simula Ole-Johan Dahl Programming paradigms Object-oriented programming ALGOL Kristen Nygaard
986	Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places14.di.fc.ul.pt Language: English - Date: 2014-02-18 12:47:10 Proof theory Logic in computer science
987	Dear Author/Editor, Here are the proofs of your chapter as well as the metadata sheets. Metadata • Please carefully proof read the metadata, above all the names and address. • In case there were no abstracts for this Add to Reading List Source URL: software.rc.fas.harvard.edu Language: English - Date: 2015-07-02 11:11:34 Linguistics Pragmatics Philosophy of language Logic Semantics Presupposition Psycholinguistics Inference Entailment Sentence processing Sentence Implicature
988	Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:26 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Procedural programming languages C Printf format string Relational operator Const Type conversion
989	OpenGL 3.3 review 16 March 2010, Christophe Riccio Copyright © 2005–2011, G-Truc Creation Introduction Add to Reading List Source URL: www.g-truc.net Language: English - Date: 2014-05-14 18:33:16 Computing Software Computer programming OpenGL Graphics libraries Virtual reality Application programming interfaces 3D computer graphics Direct3D Shader ARB assembly language Vertex

UPDATE